Standard Fuzzy Sets and some Many - Valued Logics
نویسنده
چکیده
After Zadeh has introduced his theory, many-valued logic began to have a new interest. Especially, Łukasiewicz logic was enclosed quite closely in fuzzy sets. There is a strong opinion that Łukasiewicz infinite-valued logic has the role as the logic of fuzzy sets, similarly as classical logic has the role as the logic of crisp sets. But actually, it seems that Kleene’s 3-valued logic was the closest logic connecting to fuzzy sets, when Zadeh created his theory. We will discuss this thing later. In the books Rescher (Rescher, 1969) and Bergmann (Bergmann, 2008) descriptions about Kleene’s logic are given.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملProof search and Co-NP completeness for many-valued logics
We provide a methodology to introduce proof search oriented calculi for a large class of many-valued logics, and a sufficient condition for their Co-NP completeness. Our results apply to many well known logics including Gödel, Lukasiewicz and Product Logic, as well as Hájek’s Basic Fuzzy Logic.
متن کاملQuantum conservative many-valued computing
In this paper we extend the basic principles and results of conservative logic to include the main features of many-valued logics with a finite number of truth values. Different approaches to many-valued logics are examined in order to determine some possible functionally complete sets of logic connectives. As a result, we describe some possible finite-valued universal gates which realize a fun...
متن کاملFuzzy Logic Models in some Categories
Models of a fuzzy logic in two categories of sets with similarity relations are introduced. Interpretations of formulas in these models are defined and some relations between different interpretations are investigated. Keywords—Many-Valued and Fuzzy Logics.
متن کاملINTERVAL-VALUED INTUITIONISTIC FUZZY SETS AND SIMILARITY MEASURE
In this paper, the problem of measuring the degree of inclusion and similarity measure for two interval-valued intuitionistic fuzzy sets is considered. We propose inclusion and similarity measure by using order on interval-valued intuitionistic fuzzy sets connected with lexicographical order. Moreover, some properties of inclusion and similarity measure and some correlation, between them an...
متن کامل